『Programming with algebraic effects and handlers』